3-MANIFOLD KNOT GENUS is NP-complete
نویسندگان
چکیده
One of the central questions in topology is determining whether a given curve is knotted or unknotted. An algorithm to decide this question was given by Haken in 1961, using the technique of normal surfaces. These surfaces are rigid, discretized surfaces, well suited for algorithmic analysis. Any oriented surface without boundary can be obtained from a sphere by adding “handles”. The number of handles is called the genus of the surface, and the smallest genus of a spanning surface for a curve is called the genus of the curve. A curve has genus zero if and only if it is unknotted. Schubert extended Haken’s work, giving an algorithm to determine the genus of a curve in any 3-manifold. We examine the problem of deciding whether a polygonal knot in a closed triangulated three-dimensional manifold bounds a surface of genus at most g, 3-MANIFOLD KNOT GENUS . Previous work of Hass, Lagarias and Pippenger had shown that this problem is in PSPACE. No lower bounds on the running time were previously known. We show that this problem is NP-complete. Proceedings of the 17th IEEE Annual Conference on Computational Complexity (CCC02) 1093-0159/02 $17.00 © 2002 IEEE
منابع مشابه
The Computational Complexity of Knot Genus and Spanning Area
We show that 3-MANIFOLD KNOT GENUS, the problem of deciding whether a polygonal knot in a closed three-dimensional manifold bounds a surface of genus at most g, is NP-complete. We also show that the problem of deciding whether a curve in a PL manifold bounds a surface of area less than a given constant C is NP-hard.
متن کاملPachner moves, generic complexity, and randomising 3-manifold triangulations
We study the computational complexity of decision problems on triangulated 3-manifolds. In this setting there has been encouraging initial progress in recent years, but many important questions remain wide open. The “simple” problem of 3-sphere recognition and the related problem of unknot recognition are both known to be in NP, by work of Schleimer [18] and earlier work of Hass, Lagarias and P...
متن کاملComparing 2-handle Additions to a Genus 2 Boundary Component
A theorem concerning the effects of attaching a 2–handle to a suture on the boundary of a sutured manifold is used to compare the effects of two 2-handle attachments to a genus 2 boundary component of a compact, orientable 3–manifold. We obtain a collection of results relating the euler characteristic of a surface in one of the resulting 3– manifolds to the intersection number of the two curves...
متن کاملInvariants of Legendrian Knots from Open Book Decompositions
In this note, we define a new invariant of a Legendrian knot in a contact manifold using an open book decomposition supporting the contact structure. We define the support genus sg(L) of a Legendrian knot L in a contact 3-manifold (M, ξ) as the minimal genus of a page of an open book of M supporting the contact structure ξ such that L sits on a page and the framing given by the contact structur...
متن کاملAdding 2–handles to Sutured Manifolds
Combinatorial sutured manifold theory is used to study the effects of attaching a 2–handle to an essential simple closed curve on a genus two boundary component of a compact, orientable 3–manifold. The main results concern degenerating handle additions to a simple 3– manifold and essential surfaces in the exterior of a knot or link obtained by “boring” a split link or unknot. (Boring is an oper...
متن کامل